Project-Team Aoste
Members
Overall Objectives
Embedded System Design
Research Program
Models of Computation and Communication (MoCCs)
Logical Time in Model-Driven Embedded System Design
The AAA (Algorithm-Architecture Adequation) methodology and Real-Time Scheduling
Application Domains
System Engineering Environments
Many-Core Embedded Architectures
Transportation and the avionic domain
New Software and Platforms
EVT Kopernic
KPASSA
Lopht
SAS
SynDEx
TimeSquare
Vercors
New Results
CCSL as a Logical Clock Calculus Algebra: expressiveness and analysis techniques
Industrial design flow for Embedded System Engineering
Coordination of heterogeneous Models of Computation as Domain-Specific Languages
SoC multiview (meta)modeling for performance, power, and thermal aspects
MoCs and novel architectures
Solving AAA constraints analytically
Coupling SystemC and FMI for co-simulation of Cyber-Physical Systems
Behavioural Semantics if Open pNets
Behavioural semantics for GCM components
Performance analysis and optimisation of an HPC scientific application
Formal translation validation of multi-processor real-time schedules
Lopht back-end for TTEthernet-based distributed systems
Uniprocessor Real-Time Scheduling
Multiprocessor Real-Time Scheduling
Probabilistic Solutions for Hard Real-Time Systems
Bilateral Contracts and Grants with Industry
Bilateral Contracts with Industry
Partnerships and Cooperations
National Initiatives
European Initiatives
International Initiatives
International Research Visitors
Dissemination
Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization
Bibliography
Major publications
Publications of the year
References in notes
Inria
|
Raweb 2016
|
Presentation of the Project-Team AOSTE
|
AOSTE Web Site
PDF
e-Pub
Previous |
Home
| Next
Section: Partnerships and Cooperations
International Research Visitors
Visits of International Scientists
Internships
Nieto Luis Agustin
Date: Sep 2015 - Feb 2016
Institution: Universidad de Buenos Aires (Argentina)
Previous |
Home
| Next